81. Definable additive categories : purity and model theory
پدیدآورنده: Mike Prest
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
82. Descriptive set theory and definable forcing
پدیدآورنده: Jindrich Zapletal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
83. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده: Arnold W. Miller
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
84. Distribution models theory /
پدیدآورنده: editors Rafael Herrerías-Pleguezuelo, José Callejón-Céspedes, and José Manual Herrerías Velasco
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory),Model theory
رده :
QA9
.
7
.
D58
2006
85. Distribution models theory
پدیدآورنده: / editors Rafael Herrerias Pleguezuelo, Jose callejon cespedes, and Jose manual Herrerias Velasco
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Model theory,Distribution (Probability theory)
رده :
QA
9
.
7
.
D578
2006
86. Effective lagrangians for the standard model
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Standard model (Nuclear physics) - Mathematics,Quantum field theory,Particles (Nuclear physics) - Chirality,Broken symmetry (Physies),Quantum gravity
رده :
QC
,
794
.
6
,.
S75E34
,
1997
87. Effective lagrangians for the standard model
پدیدآورنده: A. Dobado... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Standard model )Nuclear physics(,، Quantum field theory,، Particles )Nuclear physics( -- Chirality,، Broken symmetry )Physics(,، Quantum gravity
رده :
QC
794
.
6
.
S75E34
88. Effective mathematics of the uncountable /
پدیدآورنده: edited by Noam Greenberg (Victoria University of Wellington), Joel David Hamkins (City University of New York), Denis Hirschfeldt (University of Chicago), Russell Miller (City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Model theory.
89. Electromagnetic field computation by Network methods
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Electromagnetic fields -- Data processing.,Electromagnetic theory -- Data processing.,Electromagnetic fields -- Mathematical models.,Elektromagnetisches Feld -- Numerisches- Verfahren.,Numerisches Verfahren. swd
رده :
530
.
1410285
F324
90. Electronic phase transitions /
پدیدآورنده: volume editors, W. Hanke, Yu.V. Kopaev
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Anderson model,Electronic structure,Energy-band theory of solids
رده :
QC176
.
8
.
E4
E36
1992
91. Elementary end extensions in model theory and set theory
پدیدآورنده: by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Logic, Symbolic and mathematical,Model theory,Set theory
92. Elements of finite model theory
پدیدآورنده: Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
L53
2004
93. Elements of finite model theory
پدیدآورنده: by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory.
رده :
QA9
.
7
B954
2011
94. Endliche Strukturen /
پدیدآورنده: Kristina Reiss, Gernot Stroth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb
95. Essential stability theory
پدیدآورنده: Buechler, Steven
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Model theory , Stability
رده :
QA
9
.
7
.
B84
1996
96. Essential stability theory
پدیدآورنده: / Steven Buechler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Model theory,Stability
رده :
QA9
,.
7
.
B84
97. Essential stability theory
پدیدآورنده: Steven Buechler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Stability
رده :
QA
9
.
7
.
B8
98. Exactly solvable models of strongly correlated electrons
پدیدآورنده: editors, Vladimir E. Korepin, Fabian H.L. Essler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Hubbard model,، Energy-band theory of solids,، Mathematical physics
رده :
QC
176
.
8
.
E4E93
99. Financial risk management with Bayesian estimation of GARCH models
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Bayesian statistical decision theory. ; Risk management ; Mathematical models. ; GARCH model. ;
100. Fine Structure and Class forcing
پدیدآورنده: / S Y D. Friedman
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Forcing (Model Theory)
رده :
QA
9
.
7
.
F75
2000
